(KERNEL_FILE): New override definition.

diff --git a/src/m/pmax.h b/src/m/pmax.h
index 320b96f551f6fad65d9d7da60a858f3a93b8d1b1..8cbc258dde7dac8cb3a270add569d81c1273df90 100644 (file)
--- a/src/m/pmax.h
+++ b/src/m/pmax.h
@@ -55,8 +55,6 @@ NOTE-END  */
    just delete the definition.  */
 #define LIBS_MACHINE -ldnet
 
-#if 0 /* mcc@timessqr.gc.cuny.edu says it is /vmunix on Ultrix 4.2a.  */
-/* dob@tis.inel.gov says this is needed.  */
+/* mcc@timessqr.gc.cuny.edu says it is /vmunix on Ultrix 4.2a.  */
 #undef KERNEL_FILE
-#define KERNEL_FILE "/unix"
-#endif
+#define KERNEL_FILE "/vmunix"